Refine your search

You are not logged in Show Basket
  Home     Advanced Search     Back  
Catalogue Search Results

You searched: |  Subject = Logic design, logics and meanings of programs,  | 
Results: 2 found in 0.014 seconds

 
▼Title ▲
▼Author▲
 Publisher Edition
▼Shelf▲
 At
0
Verification, Model Checking, and Abstract Interpretation :
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20 2009. Proceedings/
ISBN: 9783540939009 		Springer Berlin Heidelberg, 2009. QA76.5 .V47 2009 Yeniboğaziçi Grand Library[General Collection]
Available
0
Rigorous software development :
an introduction to program verification /
ISBN: 9780857290175 		Springer, 2011. QA76.758 .A46 2011 NEU Grand Library[General Collection]
Available
Quick search
Term:
Full phrase Any word

Results 1 - 10 of 2 records.
New search | Back to the last search

NEAR EAST UNIVERSITY GRAND LIBRARY +90 (392) 223 64 64 Ext:5536. Near East Boulevard, Nicosia, TRNC
This software is developed by NEU Library and it is based on Koha OSS
conforms to MARC21 library data transfer rules.